check that terminators only occur at the end of a block. This catches the