New assert mutator to abort handling if a condition is not satisfied