public static boolean helpSingleValuedGoalP(Proposition proposition, Cons iovariables, Cons boundvariables, boolean recursiveP) {
    { List boundvariableslist = boundvariables.listify();
      int oldcount = boundvariableslist.length();
      int newcount = Stella.NULL_INTEGER;

      loop000 : for (;;) {
        Proposition.helpCollectSinglyBoundVariables(proposition, boundvariableslist, recursiveP);
        newcount = boundvariableslist.length();
        if (oldcount == newcount) {
          break loop000;
        }
        oldcount = newcount;
      }
      { boolean alwaysP000 = true;

        { PatternVariable vbl = null;
          Cons iter000 = iovariables;

          loop001 : for (;!(iter000 == Stella.NIL); iter000 = iter000.rest) {
            vbl = ((PatternVariable)(iter000.value));
            if (!boundvariableslist.memberP(vbl)) {
              alwaysP000 = false;
              break loop001;
            }
          }
        }
        { boolean value000 = alwaysP000;

          return (value000);
        }
      }
    }
  }