checkpoint, problem with csys constraints