Exact Structural Analysis of Multimode Modelica Models: Towards the Generation of Correct Simulation Code