WyC/WyCS: added tests cases for #352
WyCS: worked hard on fixing bug with distribution of addition / multiplication, but still doesn't work though. #352
WyIL: bug fix for finding postconditions in verification condition generator.
WyCS: bug fix for #352
WyCS: debugging continued problem related to #352 and now #353
WyCS: bug fix for handling some aspects of division.
WyC: uncommented some test cases which now pass #352.
WyCS: some little tweaks; thinking about how best to handle fractions.
WyC: updated test which now passes verification
Merge branch 'master' of github.com:DavePearce/Whiley into wyil-nested-blocks
WyIL: continued fixing bugs after refactoring CodeBlock into Code.Block.