Add case study for paper, based on WyBench 030 fractions, with multiply and extra tests.
Add case study for paper, based on WyBench 030 fractions, with multiply and extra tests.

utting/whiley2boogie,utting/whiley2boogie,utting/whiley2boogie