teststate.core
P = Point @ = Around I = Invariant C = Check A = Action
P & P = P @ & @ = @ I & I = I C & C = I
P = Point @ = Around I = Invariant C = Check A = Action
P & P = P @ & @ = @ I & I = I C & C = I