PR#179, "Use full smalltalk parser when parsing refinement expression", replaces Smalltalk-in-Sprite-via-ad-hoc-hackery by delegating the job to PetitSmalltalk. This commit moves RefinementExpressionParser up the package-dependency chain so that the NNF parser (the parser for the liquid-fixpoint/tests/horn/pos/*.smt2 tests) can also benefit from it. No actual changes to NNFParser are included in this commit; we are simply setting the stage here.
PR#179, "Use full smalltalk parser when parsing refinement expression", replaces Smalltalk-in-Sprite-via-ad-hoc-hackery by delegating the job to PetitSmalltalk. This commit moves RefinementExpressionParser up the package-dependency chain so that the NNF parser (the parser for the
liquid-fixpoint/tests/horn/pos/*.smt2tests) can also benefit from it. No actual changes toNNFParserare included in this commit; we are simply setting the stage here.