Fixed a very subtle bug that sometimes occasionally caused multiple statements to be grouped into a single statement, resulting in nonsensical error messages despite having a well-formed theory.