debug: inside clear, FLOAT.MIN corrected in ForcedConstraints, need to
check setting bp and single base