Internal error in approximation

[Ingmar Dasseville]

http://dtai.cs.kuleuven.be/krr/idp-ide/?src=fb5ac47e9ac23a7f22e5

[Bart Bogaerts]

Waarschijnlijk bijna een duplicate van issue #906

Ligt aan het feit dat er een term, namelijk 0, in je LTC theorie voorkomt die er niet in mag staan (en door de subtering van Time met Nat) gaat er iets mis in de checks dat je theorie wel een LTC theorie is...

Dus... Zelfde bug als issue #906, maar deze keer met start ipv next

[Bart Bogaerts]

(sanity check for LTC theories: your LTC theory should still be parsable if you remove the "isa nat" from the type time declaration)