bobismijnnaam/smtparse

Vampire gets stuck after $Perm.isValidVar. Issue: vprover/vampire#403