1 2 3 4 5 6 7 8 9
---- MODULE extends_missing_module ---- EXTENDS NotThere VARIABLES x Init == x = 0 Next == x' = x Inv == x = 0 ====