1.0.24.34: IR2: additional representation for predicates, conditional moves