NCG: Do explicit check for precondition of computeLiveness