------------------------------ MODULE 2PossibleTracesTests --------------------------------

EXTENDS 2PossibleTraces

TestIsThree == x = 3

View == x

===============================================================================