Add tests implementing simple formulas to test composing binary expressions.