should not over process ensure clauses; close #1949