typeCheckingContext.createEquation(typeCheckingContext.typeOf(co, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753329622", true), typeCheckingContext.typeOf(SLinkOperations.getTarget(SNodeOperations.getParent(co), "operand", true), "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753430842", true), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753325804", intentionProvider);
}
{
SNode _nodeToCheck_1029348928467 = co;
BaseIntentionProvider intentionProvider = null;
<BUG>typeCheckingContext.createLessThanInequation(typeCheckingContext.typeOf(SLinkOperations.getTarget(co, "length", true), "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753511511", true), new _Quotations.QuotationClass_77().createNode(typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753509659", false, 0, intentionProvider);
</BUG>
}
}
public String getApplicableConceptFQName() {

typeCheckingContext.createEquation(typeCheckingContext.typeOf(co, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753329622", true), typeCheckingContext.typeOf(SLinkOperations.getTarget(SNodeOperations.getParent(co), "operand", true), "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753430842", true), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753325804", intentionProvider);
}
{
SNode _nodeToCheck_1029348928467 = co;
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.createLessThanInequation(typeCheckingContext.typeOf(SLinkOperations.getTarget(co, "length", true), "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753511511", true), new _Quotations.QuotationClass_79().createNode(typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1205753509659", false, 0, intentionProvider);
}
}
public String getApplicableConceptFQName() {
