Predicate for side-effect-free instructions.