Propagate flag to check loop
function propagateLoopCheck extends Modelica.Icons.Function; input Boolean b[:]; output Boolean result; end propagateLoopCheck;