Tweaked SolverUtils.AddCommand()