Test if a consequence term is undef