Tutorial - Linear static analysis of a crane by hitman_co...