public static boolean stellaVariableDeclarationsP(Stella_Object tree) {
    if (Stella_Object.safePrimaryType(tree) == Logic.SGT_STELLA_CONS) {
      { Cons tree000 = ((Cons)(tree));

        if ((tree000.value == Logic.SYM_STELLA_ISA) ||
            (Stella_Object.consP(tree000.value) &&
             (((Cons)(tree000.value)).value == Logic.SYM_STELLA_ISA))) {
          return (true);
        }
      }
    }
    else {
    }
    return (false);
  }