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