analyzers.SafetyTheory
Case class encoding the choice over a substitution varaible
the substitution variable
the value of the variable
Case class encoding the choice over a substitution varaible
the substitution variable
the value of the variable