Considered the fact that SolverAssumptions may be null in F2