Map and guards to instantiate vars in called nodes