postpone adding assertions into fenv until they are checked
this case cannot occur with termination check
Merge pull request #177 from ucsd-progsys/binders

add only checked binders into the environment binders