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