more careful checking if solver supports problem modification