Forgot to actually use the @tailrec annotation in the solver