Reducing Behavioural to Structural Properties of Programs with Procedures