Added boolean precondition predicate