Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

StackOverflowError #183

Closed
ice1000 opened this issue Apr 24, 2020 · 2 comments
Closed

StackOverflowError #183

ice1000 opened this issue Apr 24, 2020 · 2 comments
Assignees
@valis
Labels
bug
Milestone
1.4

Comments

@ice1000
Copy link
Collaborator

ice1000 commented Apr 24, 2020

Reproduce example:

\instance BinNatBSemilattice : Bounded.JoinSemilattice
  | JoinSemilattice => BinNatLE
  | bottom => zero
  | bottom-univ _ => coe (\lam i => \Pi (a b : Nat=Bin i) -> BinNat.LE i a b) Nat.zero<=_ right

It's based on the definitions from: JetBrains/arend-lib#19

java.lang.StackOverflowError
	at org.arend.core.sort.Sort.subst(Sort.java:140)
	at org.arend.core.subst.SubstVisitor.visitDefCall(SubstVisitor.java:52)
	at org.arend.core.subst.SubstVisitor.visitDefCall(SubstVisitor.java:18)
	at org.arend.core.expr.visitor.BaseExpressionVisitor.visitDataCall(BaseExpressionVisitor.java:20)
	at org.arend.core.expr.DataCallExpression.accept(DataCallExpression.java:44)
	at org.arend.core.expr.Expression.subst(Expression.java:176)
	at org.arend.core.context.param.TypedSingleDependentLink.subst(TypedSingleDependentLink.java:30)
	at org.arend.core.context.param.DependentLink$Helper.subst(DependentLink.java:135)
	at org.arend.core.subst.SubstVisitor.visitLam(SubstVisitor.java:143)
	at org.arend.core.subst.SubstVisitor.visitLam(SubstVisitor.java:18)
	at org.arend.core.expr.LamExpression.accept(LamExpression.java:46)
	at org.arend.core.subst.SubstVisitor.visitConCall(SubstVisitor.java:59)
	at org.arend.core.subst.SubstVisitor.visitConCall(SubstVisitor.java:18)
	at org.arend.core.expr.ConCallExpression.accept(ConCallExpression.java:59)
	at org.arend.core.expr.Expression.subst(Expression.java:172)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitFunctionDefCall(NormalizeVisitor.java:355)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:528)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:25)
	at org.arend.core.expr.visitor.BaseExpressionVisitor.visitFunCall(BaseExpressionVisitor.java:10)
	at org.arend.core.expr.FunCallExpression.accept(FunCallExpression.java:48)
	at org.arend.core.expr.visitor.NormalizeVisitor.updateStack(NormalizeVisitor.java:447)
	at org.arend.core.expr.visitor.NormalizeVisitor.eval(NormalizeVisitor.java:414)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitFunctionDefCall(NormalizeVisitor.java:357)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:528)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:25)
	at org.arend.core.expr.visitor.BaseExpressionVisitor.visitFunCall(BaseExpressionVisitor.java:10)
	at org.arend.core.expr.FunCallExpression.accept(FunCallExpression.java:48)
	at org.arend.core.expr.Expression.normalize(Expression.java:191)
	at org.arend.core.expr.visitor.NormalizingFindBindingVisitor.findBinding(NormalizingFindBindingVisitor.java:29)
	at org.arend.core.expr.visitor.NormalizingFindBindingVisitor.visitClassCall(NormalizingFindBindingVisitor.java:60)
	at org.arend.core.expr.visitor.NormalizingFindBindingVisitor.visitClassCall(NormalizingFindBindingVisitor.java:14)
	at org.arend.core.expr.ClassCallExpression.accept(ClassCallExpression.java:272)
	at org.arend.core.expr.visitor.NormalizingFindBindingVisitor.findBinding(NormalizingFindBindingVisitor.java:29)
	at org.arend.core.expr.visitor.NormalizingFindBindingVisitor.findBinding(NormalizingFindBindingVisitor.java:22)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitFunctionDefCall(NormalizeVisitor.java:224)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:528)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:25)
	at org.arend.core.expr.visitor.BaseExpressionVisitor.visitFunCall(BaseExpressionVisitor.java:10)
	at org.arend.core.expr.FunCallExpression.accept(FunCallExpression.java:48)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:514)
	at org.arend.core.expr.visitor.NormalizeVisitor.visitDefCall(NormalizeVisitor.java:25)
	at org.arend.core.expr.visitor.BaseExpressionVisitor.visitFieldCall(BaseExpressionVisitor.java:25)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:69)
	at org.arend.core.expr.Expression.normalize(Expression.java:191)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:630)
	at org.arend.core.expr.visitor.CompareVisitor.visitFieldCall(CompareVisitor.java:26)
	at org.arend.core.expr.FieldCallExpression.accept(FieldCallExpression.java:74)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:259)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
	at org.arend.core.expr.visitor.CompareVisitor.compareClassInstances(CompareVisitor.java:962)
	at org.arend.core.expr.visitor.CompareVisitor.normalizedCompare(CompareVisitor.java:219)
	at org.arend.core.expr.visitor.CompareVisitor.compare(CompareVisitor.java:314)
@ice1000 ice1000 added the bug label Apr 24, 2020
@ice1000
Copy link
Collaborator Author

ice1000 commented Apr 24, 2020

Reproducible via CLI typechecker.

@valis valis self-assigned this Apr 24, 2020
@valis
Copy link
Collaborator

valis commented Apr 26, 2020

Fixed

@valis valis closed this as completed Apr 26, 2020
@ice1000 ice1000 added this to the 1.4 milestone Jun 6, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@valis valis

Labels
bug
Projects
None yet
Milestone
1.4
Development

No branches or pull requests
2 participants
@valis @ice1000