Pedantic mode for checking Modelica semantics