Closed syphax-bouazzouni closed 10 months ago
p1 inverse_of_p2 Enforce that if we have A p1 B then B p2 A
p1 inverse_of_p2
A p1 B
B p2 A
implemented in #27
Requirement
p1 inverse_of_p2
Enforce that if we haveA p1 B
thenB p2 A