evaluate predicate at run-time, stop program execution if false