testCreatingMutableSolverWithDefaultBuiltins

Same as testCreatingSolverWithDefaultBuiltins, but for SolverFactory.mutableSolverWithDefaultBuiltins, expecting an MT.