PLCgen: Boolean algebraic variables don't update in PLC-code

During testing we found that boolean variables are not updated if they are not directly updated by edges. When a boolean variable is defined by a state of an automaton, changing the state of this automaton will not result in a change in the boolean variable. Attached is a minimum working example of a CIF-model and generated PLC-code. Nowhere in the PLC-code the boolean variable is mentioned.