assertions in lambda abstractions