delete unused FReft functions
fix predicate printing
add printing Environment
parsing applied predicates as predicates
fix
class pred printing
printing predicates
add demo
normalize pexprs before comparison...
tiny edit
Merge pull request #42 from ucsd-progsys/printing

Printing