Added final tests for boolean expression MIR generation.