[-] infinite fix_correctness on constraints fixed