Add failing test
Refactor
Problem -> StatedProblem
WIP
WIP
Fix non-standard max problem test