analyzers.SafetyTheory
Util case class for negation of Safety predicates
the safety predicate to negate
Util case class for negation of Safety predicates
the safety predicate to negate