adding solution for FM2012 that relies on SMT solver quantifiers
adding solution for FM2012 that relies on SMT solver quantifiers

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast