congruence/
fairness/
leads_to/
liveness/
ltl/
safety/
termination/