Added additional checks to Solver for when the recursive call returns nu...

...ll.