public void applyRule(final SNode operation, final TypeCheckingContext typeCheckingContext) {
final SNode elementType_typevar_1225727823542 = typeCheckingContext.createNewRuntimeTypesVariable();
{
SNode _nodeToCheck_1029348928467 = operation;
BaseIntentionProvider intentionProvider = null;
<BUG>typeCheckingContext.createLessThanInequation(typeCheckingContext.typeOf(IOperation_Behavior.call_getOperand_1213877410070(operation), "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1225727831549", true), new _Quotations.QuotationClass_93().createNode(typeCheckingContext.getEquationManager().getRepresentator(elementType_typevar_1225727823542), typeCheckingContext), _nodeToCheck_1029348928467, null, "r:00000000-0000-4000-0000-011c8959032b(jetbrains.mps.baseLanguage.collections.typesystem)", "1225727841274", false, 0, intentionProvider);
</BUG>
}
{
SNode _nodeToCheck_1029348928467 = operation;

public void applyRule(final SNode operation, final TypeCheckingContext typeCheckingContext) {
final SNode elementType_typevar_1225727823542 = typeCheckingContext.createNewRuntimeTypesVariable();
{
SNode _nodeToCheck_1029348928467 = operation;
