unbound variable error is suppressed
edits in tests
checking abstract refinements
state in functions