fixed the meet bug (contradict from all succ). TODO: fields & free() prob?