module statics
imports
signatures/-
rules
init ^ (s) := new s.
[[ Empty() ^ (s) ]] :=
false | note "Specify name binding and typing rules in statics.nabl2".