Corrected boolean transition rules and statement semantic