with
Generate all possible changes to the world state where only one condition is changed For each existing condition, generate variants where that condition is flipped to the other values (TRUE -> FALSE and UNKNOWN, FALSE -> TRUE and UNKNOWN, UNKNOWN -> TRUE and FALSE)