updated regression test suite with Clafer v0.3.3.10-8-2013