public static boolean singleValuedGoalP(Proposition proposition, Cons iovariables, Cons boundvariables) {
    return (Proposition.helpSingleValuedGoalP(proposition, iovariables, boundvariables, true));
  }