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);
   }
 }