
Local Invariants
Specific Invariants: []
Never Present: [blinking, distance, dot, edible, fruit, ghost, ghostCentre, highScore, junction, junctionSafety, level, lives, powerDot, score, thing]
Invariants count: 610