nitc :: MClass :: positions_methods=
# For superclasses which have a non-invariant position, keep their position in virtual table var positions_methods: HashMap[MClass, Int] = new HashMap[MClass, Int]