Fixing the which branch returns true/false for getSolveIntegerResource().