unbound variable error is suppressed
edits in tests
checking abstract refinements
state in functions
Merge pull request #173 from ucsd-progsys/unbound

Checking well-formedness of abstract predicate expressions
test measure's result sort
make ANF after REC transformation
minor
Merge pull request #174 from ucsd-progsys/measureSort

Measure sort - Transformationa