Must check rule transition follow states before eliminating states in the ATN (fixes #224)