new_disambiguation with aproximate. New bug found in exhaustive during calculating big test case.