Segmentation fault in typechecking

[rpgoldman]

p01.pddl.txt
domain.pddl.txt

I was editing a domain to remove costs and inadvertently ran the updated domain (no costs) against a problem file that had an initializer of
(= (total-cost) 0)
validate got a segmentation fault during type checking of that. I replicated this on both Linux and Mac.
I will attach the domain and problem.