public static boolean floatFunctionP(Surrogate relation) {
    { NamedDescription des = ((NamedDescription)(relation.surrogateValue));

      if (NamedDescription.functionDescriptionP(des) &&
          (((Surrogate)(des.ioVariableTypes.last())) == Logic.SGT_STELLA_FLOAT)) {
        return (true);
      }
      else {
        return (false);
      }
    }
  }