Linear Static Analysis Tutorial of Wrench