-
Andrei Paskevich authored
subst can make constant definitions recursive, making them fail termination check. Convert such definitions into axioms on the fly. Tentative fix for #195.
9457babc
subst can make constant definitions recursive, making them fail termination check. Convert such definitions into axioms on the fly. Tentative fix for #195.