liquid-fixpoint-0.9.6.3.7: tests/neg/numeric-version.fq

fixpoint "--numeric-version"