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