| BecomesFalse | |
| BecomesFalse_no_ext | |
| BecomesFalseInside | |
| BecomesFalseInside_no_ext | |
| BecomesTrue | |
| BecomesTrue_no_ext | |
| BecomesTrueInside | |
| BecomesTrueInside_no_ext | |
| CheckOver | |
| CheckOver_no_ext | |
| CountInside | |
| CountInside_no_ext | |
| CteFalse_no_ext | |
| CteTrue_no_ext | |
| DecideOver | |
| DecideOver_no_ext | |
| EvaluateOver | |
| EvaluateOver_no_ext | |
| Id_no_ext | |
| Implies | |
| Implies_no_ext | |
| Increasing1_no_ext | |
| Increasing2_no_ext | |
| Inside | |
| Inside_no_ext | |
| TemplateOr | |
| TemplateOr_no_ext | |
| TemplateXor | |
| TemplateXor_no_ext | |
| Varying1_no_ext | |
| Varying2_no_ext | |
