introduce isexe predicate