Merge pull request #3098 from Ethanlm/STORM-3481

[STORM-3481] fix IllegalArgumentException for ConstraintSolverStrategy