that is taken care in the procedureInspector visitor too