* @param type
   * @return boolean
   */
  public static boolean testTypeOnInstanceP(Stella_Object self, Surrogate type) {
    return (Logic.currentInferenceLevel().levellizedTestTypeOnInstanceP(self, type));
  }