While Analysis and Compile Chain - tools for analysing simple imperative algorithms