recursors can now be applied to more arguments than necessary, if they have a functional return type
recursors can now be applied to more arguments than necessary, if they have a functional return type

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script