public void applyRule(final SNode invoke, final TypeCheckingContext typeCheckingContext) {
final SNode cl = SNodeOperations.getAncestor(invoke, "jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral", false, false);
if (!((cl != null))) {
BaseIntentionProvider intentionProvider = null;
typeCheckingContext.reportTypeError(invoke, "Must be within ClosureLiteral", "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1199711581032", intentionProvider);
<BUG>}
{
final SNode _representatorVar1 = typeCheckingContext.typeOf(cl, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1199711625694", true);
typeCheckingContext.whenConcrete(_representatorVar1, new Runnable() {
public void run() {
SNode ft = typeCheckingContext.typeOf(cl, "r:00000000-0000-4000-0000-011c89590337(jetbrains.mps.baseLanguage.closures.typesystem)", "1199711616632", true);

{</BUG>
SNode _nodeToCheck_1029348928467 = invoke;

public void applyRule(final SNode invoke, final TypeCheckingContext typeCheckingContext) {
final SNode cl = SNodeOperations.getAncestor(invoke, "jetbrains.mps.baseLanguage.closures.structure.ClosureLiteral", false, false);
if (!((cl != null))) {
