nums was set to max NUM, not the size of the universe and that was working ok for arity==1. Quick fix uses nums instead of nums-1 and seems to be working, while proper fix should I guess change nums to max NUM + 1 (but there may be consequences). Also removed the assert for alt.empty() when equality is alone (for it to work w/o eq bodies), and a small fix to set arity for eq.
nums was set to max NUM, not the size of the universe and that was working ok for arity==1. Quick fix uses nums instead of nums-1 and seems to be working, while proper fix should I guess change nums to max NUM + 1 (but there may be consequences). Also removed the assert for alt.empty() when equality is alone (for it to work w/o eq bodies), and a small fix to set arity for eq.