fix build of BottomUpMergeSortTheory

by changing the state of the parser