public void applyRule(
     final SNode operation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   SNode attr =
       BehaviorReflection.invokeVirtual(
           (Class<SNode>) ((Class) Object.class),
           SLinkOperations.getTarget(operation, "qualifier", true),
           "virtual_getTargetConcept_6407023681583066586",
           new Object[] {});
   if (AttributeDesignTimeOperations.isMultipleAttribute(attr)
       || SNodeOperations.isInstanceOf(
           SLinkOperations.getTarget(operation, "qualifier", true),
           "jetbrains.mps.lang.smodel.structure.AllAttributeQualifier")) {
     {
       SNode _nodeToCheck_1029348928467 = operation;
       EquationInfo _info_12389875345 =
           new EquationInfo(
               _nodeToCheck_1029348928467,
               null,
               "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
               "2788452359612125336",
               0,
               null);
       typeCheckingContext.createEquation(
           (SNode)
               typeCheckingContext.typeOf(
                   _nodeToCheck_1029348928467,
                   "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                   "2788452359612125333",
                   true),
           (SNode) _quotation_createNode_dktlpw_a0a0b0b(attr),
           _info_12389875345);
     }
   } else {
     {
       SNode _nodeToCheck_1029348928467 = operation;
       EquationInfo _info_12389875345 =
           new EquationInfo(
               _nodeToCheck_1029348928467,
               null,
               "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
               "2788452359612125358",
               0,
               null);
       typeCheckingContext.createEquation(
           (SNode)
               typeCheckingContext.typeOf(
                   _nodeToCheck_1029348928467,
                   "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                   "2788452359612125355",
                   true),
           (SNode) _quotation_createNode_dktlpw_a0a0a1a1(attr),
           _info_12389875345);
     }
   }
 }
 public void applyRule(
     final SNode binaryOperation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(binaryOperation, "left", true);
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
             "6645816968628541097",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
                 "6645816968628541093",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(binaryOperation, "right", true),
                 "r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
                 "1888188276221891129",
                 true),
         _info_12389875345);
   }
   {
     SNode _nodeToCheck_1029348928467 = binaryOperation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
             "4530871765544565313",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
                 "4530871765544565317",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(binaryOperation, "right", true),
                 "r:8c01d5e0-82c3-43e7-9986-af954df6cb8b(jetbrains.mps.samples.lambdaCalculus.typesystem)",
                 "1888188276221891135",
                 true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode isOperation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = isOperation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
             "7985661997283737353",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
                 "7985661997283737355",
                 true),
         (SNode) _quotation_createNode_topy54_a0a0b(),
         _info_12389875345);
   }
   {
     SNode _nodeToCheck_1029348928467 =
         SLinkOperations.getTarget(
             isOperation,
             MetaAdapterFactory.getContainmentLink(
                 0x97a52717898f4598L,
                 0x8150573d9fd03868L,
                 0x6ed2c546d46ea462L,
                 0x6ed2c546d46efef1L,
                 "left"));
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
             "7985661997283737366",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:139daa25-c5a7-4ac9-85a2-eb14d22e8f56(jetbrains.mps.lang.dataFlow.analyzers.typesystem)",
                 "7985661997283737368",
                 true),
         (SNode) _quotation_createNode_topy54_a0b0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode expression,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = SLinkOperations.getTarget(expression, "datetime", true);
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
             "194163770812065865",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
                 "194163770812065857",
                 true),
         (SNode)
             new typeof_InlineFormatDateTimeExpression_InferenceRule.QuotationClass_b8ga6b_a0a0a0()
                 .createNode(typeCheckingContext),
         _info_12389875345);
   }
   {
     SNode _nodeToCheck_1029348928467 = expression;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
             "194163770812164125",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895903d1(jetbrains.mps.baseLanguage.dates.typesystem)",
                 "194163770812164122",
                 true),
         (SNode)
             new typeof_InlineFormatDateTimeExpression_InferenceRule.QuotationClass_b8ga6b_a0a1a0()
                 .createNode(typeCheckingContext),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode conceptFunctionParameter_node,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   SNode applicableConcept =
       SLinkOperations.getTarget(
           SNodeOperations.getAncestor(
               conceptFunctionParameter_node,
               "jetbrains.mps.lang.intentions.structure.BaseIntentionDeclaration",
               false,
               false),
           "forConcept",
           false);
   {
     SNode _nodeToCheck_1029348928467 = conceptFunctionParameter_node;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590351(jetbrains.mps.lang.intentions.typesystem)",
             "1223982145698",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590351(jetbrains.mps.lang.intentions.typesystem)",
                 "1223982145703",
                 true),
         (SNode) _quotation_createNode_jo2b2o_a0b0b(applicableConcept),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode property,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = property;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
             "1201468313014",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
                 "1201468307043",
                 true),
         (SNode) SLinkOperations.getTarget(property, "type", true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode generationContextOp_LinkPatternRef,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = generationContextOp_LinkPatternRef;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
             "1758784108619297849",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "1758784108619297856",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(
                     generationContextOp_LinkPatternRef, "linkPatternVar", false),
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "1758784108619297851",
                 true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   // assign type
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "1205357746691",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1205357746693",
                 true),
         (SNode)
             new typeof_AllAttributesQualifier_InferenceRule.QuotationClass_mbq0h7_a0a1a0()
                 .createNode(typeCheckingContext),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode escapeOperation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = escapeOperation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
             "1461424660015429875",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
                 "1461424660015429872",
                 true),
         (SNode) _quotation_createNode_dagtw7_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode node, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   SNode conceptDeclaration =
       SLinkOperations.getTarget(
           SNodeOperations.getAncestor(
               node,
               "jetbrains.mps.lang.editor.structure.ParametersInformationQuery",
               false,
               false),
           "applicableConcept",
           false);
   {
     SNode _nodeToCheck_1029348928467 = node;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
             "8546225179494125840",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
                 "8546225179494125837",
                 true),
         (SNode) _quotation_createNode_oj94st_a0b0b(conceptDeclaration),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode operation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = operation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590364(jetbrains.mps.lang.plugin.typesystem)",
             "1217023680304",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590364(jetbrains.mps.lang.plugin.typesystem)",
                 "1217023680306",
                 true),
         (SNode) _quotation_createNode_1rm79p_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "1207351244721",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1207351238265",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(nodeToCheck, "expression", true),
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1207351249569",
                 false),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode language,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = language;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "4040588429969539747",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "4040588429969539749",
                 true),
         (SNode) _quotation_createNode_t3jz3d_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode typeVarReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = typeVarReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
             "1185878061141",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1185878055040",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(typeVarReference, "typeVarDeclaration", false),
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1185878063692",
                 true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode op, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = op;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
             "1216860931325",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "1216860931336",
                 true),
         (SNode)
             _quotation_createNode_tgcadk_a0a0b(
                 SLinkOperations.getTarget(
                     SLinkOperations.getTarget(op, "label", false), "targetConcept", false)),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode efr, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = efr;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:4b1ddbe6-5067-4a27-8697-eb786b50451b(jetbrains.mps.lang.extension.typesystem)",
             "7036359038356115138",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:4b1ddbe6-5067-4a27-8697-eb786b50451b(jetbrains.mps.lang.extension.typesystem)",
                 "7036359038356115126",
                 true),
         (SNode)
             SLinkOperations.getTarget(
                 SLinkOperations.getTarget(efr, "declaration", false), "fieldType", true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode value, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   SNode prop =
       SNodeOperations.getAncestor(
           value,
           "jetbrains.mps.baseLanguage.builders.structure.SimpleBuilderProperty",
           true,
           false);
   {
     SNode _nodeToCheck_1029348928467 = value;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:35ef73a5-9726-4c66-9d79-f51c95cc08d6(jetbrains.mps.baseLanguage.builders.typesystem)",
             "5389689214217316347",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:35ef73a5-9726-4c66-9d79-f51c95cc08d6(jetbrains.mps.baseLanguage.builders.typesystem)",
                 "5389689214217316344",
                 true),
         (SNode) SLinkOperations.getTarget(prop, "type", true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode reference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = reference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
             "1227257237871",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1227257233821",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(reference, "quickFixArgument", false),
                 "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                 "1227257241048",
                 true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode matchRegexpExpression,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = matchRegexpExpression;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590517(jetbrains.mps.baseLanguage.regexp.typesystem)",
             "1223981840542",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590517(jetbrains.mps.baseLanguage.regexp.typesystem)",
                 "1223981840547",
                 true),
         (SNode) _quotation_createNode_2m7u6_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode node, final TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   SNode dependentComputationItem =
       SNodeOperations.getAncestor(
           node, "jetbrains.mps.lang.typesystem.structure.DependentComputationItem", false, false);
   if ((dependentComputationItem != null)) {
     {
       SNode _nodeToCheck_1029348928467 = node;
       EquationInfo _info_12389875345 =
           new EquationInfo(
               _nodeToCheck_1029348928467,
               null,
               "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
               "6807484249529698295",
               0,
               null);
       typeCheckingContext.createEquation(
           (SNode)
               typeCheckingContext.typeOf(
                   _nodeToCheck_1029348928467,
                   "r:00000000-0000-4000-0000-011c895902b1(jetbrains.mps.lang.typesystem.typesystem)",
                   "6807484249529698304",
                   true),
           (SNode)
               _quotation_createNode_tu3g8h_a0a0b0b(
                   SLinkOperations.getTarget(
                       dependentComputationItem, "blockingNodeConcept", false)),
           _info_12389875345);
     }
   }
 }
 public void applyRule(
     final SNode classReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = classReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
             "8791205313600585971",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
                 "8791205313600585968",
                 true),
         (SNode)
             new typeof_WeakClassReference_InferenceRule.QuotationClass_ptbbvb_a0a0a0()
                 .createNode(typeCheckingContext),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode xmlsaxAttributeReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = xmlsaxAttributeReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:553bcb75-a1cc-4005-9641-b5a2524d9f6a(jetbrains.mps.core.xml.sax.typesystem)",
             "2264311582634140530",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:553bcb75-a1cc-4005-9641-b5a2524d9f6a(jetbrains.mps.core.xml.sax.typesystem)",
                 "2264311582634140535",
                 true),
         (SNode) _quotation_createNode_b8goj7_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895904c4(jetbrains.mps.buildlanguage.typesystem)",
             "1196872839076",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895904c4(jetbrains.mps.buildlanguage.typesystem)",
                 "1196872829511",
                 true),
         (SNode) _quotation_createNode_9iby9e_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode operation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = operation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
             "654553635094952199",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902f1(jetbrains.mps.lang.generator.generationContext.typesystem)",
                 "654553635094952204",
                 true),
         (SNode) _quotation_createNode_9egx96_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode abstractPrintExpression,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = abstractPrintExpression;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:ae7d1f20-2cfe-46ef-a88a-193353a8b62b(jetbrains.mps.console.base.typesystem)",
             "7656298970878399354",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:ae7d1f20-2cfe-46ef-a88a-193353a8b62b(jetbrains.mps.console.base.typesystem)",
                 "7656298970878398907",
                 true),
         (SNode) _quotation_createNode_5i9h05_a0a0b(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode constantReference,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = constantReference;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
             "1585405235656400060",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
                 "1585405235656400057",
                 true),
         (SNode)
             typeCheckingContext.typeOf(
                 SLinkOperations.getTarget(constantReference, "constant", false),
                 "r:00000000-0000-4000-0000-011c895903ab(jetbrains.mps.baseLanguageInternal.typesystem)",
                 "1585405235656400077",
                 true),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode operation,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = operation;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
             "1240333222958",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902fe(jetbrains.mps.lang.smodel.typesystem)",
                 "1240333222960",
                 true),
         (SNode)
             _quotation_createNode_trqwsu_a0a0a(
                 SEnumOperation_Behavior.call_getEnum_1240931322043(operation)),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode integerLiteral,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = integerLiteral;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
             "1223981484936",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c895902c5(jetbrains.mps.baseLanguage.typesystem)",
                 "1223981484941",
                 true),
         (SNode) _quotation_createNode_8jy4ru_a0a0a(),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode nodeToCheck,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   SNode linkDeclaration = AttributeOperations.getLinkDeclaration(nodeToCheck);
   {
     SNode _nodeToCheck_1029348928467 = nodeToCheck;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c89590343(jetbrains.mps.lang.pattern.typesystem)",
             "1202486181555",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c89590343(jetbrains.mps.lang.pattern.typesystem)",
                 "1202486174317",
                 true),
         (SNode)
             _quotation_createNode_onvofq_a0b0b(
                 SLinkOperations.getTarget(linkDeclaration, "target", false)),
         _info_12389875345);
   }
 }
 public void applyRule(
     final SNode styleAttributeReferenceExpression,
     final TypeCheckingContext typeCheckingContext,
     IsApplicableStatus status) {
   {
     SNode _nodeToCheck_1029348928467 = styleAttributeReferenceExpression;
     EquationInfo _info_12389875345 =
         new EquationInfo(
             _nodeToCheck_1029348928467,
             null,
             "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
             "6029276237634420328",
             0,
             null);
     typeCheckingContext.createEquation(
         (SNode)
             typeCheckingContext.typeOf(
                 _nodeToCheck_1029348928467,
                 "r:00000000-0000-4000-0000-011c8959029a(jetbrains.mps.lang.editor.typesystem)",
                 "6029276237634420184",
                 true),
         (SNode)
             _quotation_createNode_mwwp74_a0a0b(
                 StyleAttributeDeclaration_Behavior.call_getClassifierType_6029276237639807717(
                     SLinkOperations.getTarget(
                         styleAttributeReferenceExpression, "attributeDeclaration", false))),
         _info_12389875345);
   }
 }