Added predicates to reason about beasty safety settings, i.e. reflexes.