in progress on predict sets and changing grammar to be unambiguous