issuing a warning when a strangely curried recursive function cannot be encoded to the solver