remove static keyword from method hasDelegate() in the SClassDefinitionAssistantInterpreter.
remove static keyword from methods in SClassAssistantIntepreter and PDefinitionAssistants.
Removing static keyword from SClassDefinitionAssistantInterpreter.
remove unused imports.
remove empty AApplyExpressionTraceCoreDefinitionAssistantInterpreter.
remove empty assistant AAssignmentDefinitionAssistantInterpreter
remove empty assistant ABracketedExpressionTraceCoreDefinitionAssitantInterpreter
remove assistant AClassInvariantDefinitionAssistantInterpreter
AConcurrentExpressionTraceCoreDefinitionAssistantInterpreter removed.
AEqualsDefinitionAssistantInterpreter, AExplicitOperationDefinitionAssistantInterpreter
AImplicitOperationDefinitionAssistantInterpreter,AImportedDefinitionAssistantInterpreter
AInheritedDefinitionAssistantInterpreter removed.
AInstanceVariableDefinitionAssistantInterpreter,ALetBeStBindingTraceDefinitionAssistantInterpreter
ALetDefBindingTraceDefinitionAssistantInterpreter,ALocalDefinitionAssistantInterpreter
APerSyncDefinitionAssistantInterpreter removed.
ARenamedDefinitionAssistantInterpreter,AThreadDefinitionAssistantInterpreter
ATraceDefinitionTermAssistantInterpreter,ATypeDefinitionAssistantInterpreter
AUntypedDefinitionAssistantInterpreter removed
AValueDefinitionAssistantInterpreter,AValueDefinitionAssistantInterpreter
ACaseAlternativeAssistantInterpreter,ACasesExpAssistantInterpreter
ADefExpAssistantInterpreter removed
AElseIfExpAssistantInterpreter, AExists1ExpAssistantInterpreter
AExistsExpAssistantInterpreter,AFieldNumberExpAssistantInterpreter
AForAllExpAssistantInterpreter removed
AFuncInstatiationExpAssistantInterpreter,AIfExpAssistantInterpreter
AIotaExpAssistantInterpreter,AIsExpAssistantInterpreter
ALambdaExpAssistantInterpreter removed
ALetBeStExpAssistantInterpreter,ALetDefExpAssistantInterpreter removed.
AMapCompMapExpAssistantInterpreter,AMapEnumMapExpAssistantInterpreter
AMapletExpAssistantInterpreter,AMkBasicExpAssistantInterpreter
AMkTypeExpAssistantInterpreter,AMuExpAssistantInterpreter removed
ANarrowExpAssistantInterpreter,ANewExpAssistantInterpreter
ARecordModifierAssistantInterpreter,ASameBaseClassExpAssistantInterpreter
ASameClassExpAssistantInterpreter,ASeqEnumSeqExpAssistantInterpreter
ASetCompSetExpAssistantInterpreter,ASetEnumSetExpAssistantInterpreter
ASetRangeSetExpAssistantInterpreter,ASubseqExpAssistantInterpreter
ATupleExpAssistantInterpreter,AVariableExpAssistantInterpreter
SBinaryExpAssistantInterpreter,SSeqExpAssistantInterpreter
SMapExpAssistantInterpreter,SSetExpAssistantInterpreter
SUnaryExpAssistantInterpreter removed
ASeqCompSeqExpAssistantInterpreter removed.
empty method from ASeqPatternAssistantInterpreter and replace the call
from visitor ConstrainedPatternChecker to the method's code (2nd level unfold)
I had overseen it when converting.