Error, "3.syntax.directed.testing", line 62:
  Incompatible type BOOLEAN to binary operator +, numeric expected.
Error, "3.syntax.directed.testing", line 63:
  Incompatible type BOOLEAN to binary operator +, numeric expected.
Error, "3.syntax.directed.testing", line 64:
  Incompatible type BOOLEAN to binary operator +, numeric expected.
Error, "3.syntax.directed.testing", line 65:
  Incompatible type BOOLEAN to binary operator +, numeric expected.
Error, "3.syntax.directed.testing", line 70:
  Incompatible type BOOLEAN to binary operator +, numeric expected.
Semantic failure.