public static void addCase(Symbol inst, Symbol kind) {
    inst = ((Symbol)(inst.permanentify()));
    kind = ((Symbol)(kind.permanentify()));
    LogicObject.buildCaseFromInstance(((LogicObject)(Logic.getInstance(inst))), Logic.getDescription(kind).surrogateValueInverse);
  }