G:6                 If Nodelnconsistent(mt) exit;