
Local Invariants
Specific Invariants: []
Never Present: [blastable, brick, bulletBill, canJumpOn, canJumpOver, carrying, coin, distance, enemy, fireFlower, flag, flying, goomba, greenKoopa, heightDiff, item, koopa, marioPower, mushroom, passive, pirahnaPlant, pit, powerup, redKoopa, shell, spiky, squashable, thing, width]
Invariants count: 655