+=
MutableInterestingGivens
TestStates
SuiteResultHolder
===>
ClairvoyantStep
ClairvoyantStep