Switch to the new ISolver API when forking on a predicated assignment.
Switch to the new ISolver API when forking on a predicated assignment.

symbooglix/symbooglix,symbooglix/symbooglix,symbooglix/symbooglix