Binary operations of the Stratego.IR language