new filtering and env un-narrowing feature
unit test coverage