[broken] refactor JuMPCont