UML + namefix in WorldState