ok, lets test on goto
Merge pull request #194 from ucsd-progsys/splitrhs

Remove "-noslice" from default fixpoint flags to improve performance