Update T_POSSIBLE, T_SUSPECT.