Change specification syntax to take program as an argument
Added simple loop invariant example
Added loop invariants synthesis tests
Moved loop1 into loops/
Added an abstract transformer synthesis problem