Segfault when forgetting isa int

[Bart Bogaerts]

Forgetting isa int causes IDP not to recognise one of the minus signs... Parser segfaults

[Ingmar Dasseville]

De nieuwe parser doet het wel al goed: Right [Vocabulary "V" [TypeDecl ["T"] Nothing Nothing Nothing,PFDecl ["x"] Nothing (Just ["T"]),PFDecl ["y"] Nothing (Just ["T"]),PFDecl ["z"] Nothing (Just ["T"])],Theory "T" ["V"] [FormulaStatement (EqChainForm (EqChain (ConnectedT Minus (IntegerTerm 0) (AtomTerm (Atom ["x"] Nothing Nothing))) [(EQ,ConnectedT Minus (AtomTerm (Atom ["y"] Nothing Nothing)) (AtomTerm (Atom ["z"] Nothing Nothing)))]))],Structure "S" ["V"] [InterDecl (ThreeValued (Variable ["T"] Nothing) Nothing) (ElemList [InterList [IntRange 1 2]])],Lua "main" [] "stdoptions.cpsupport=true\n\n\t\n"]

[Bart Bogaerts]

Merged in nullpointerdisambig (pull request #314)

Fixes Issue #677

→ <<cset 73824e2f9789>>