:= 0; readPropError [...] Prop.xExecute := FALSE; END_IF IF readProp.xError [...] Prop.xExecute := FALSE; readPropError