List<SNode> abstractMethods = new ArrayList<SNode>();
List<SNode> implementedMethods = new ArrayList<SNode>();
List<SNode> concepts = SConceptOperations.getAllSuperConcepts(thisNode, false);
ListSequence.fromList(concepts).addElement(thisNode);
for (SNode concept : concepts) {
<BUG>SNode behavior = AbstractConceptDeclaration_Behavior.call_findBehaviour_1213877394029(concept, scope);
for (SNode method : SLinkOperations.getTargets(behavior, "method", true)) {</BUG>
if (SPropertyOperations.getBoolean(method, "isAbstract")) {
ListSequence.fromList(abstractMethods).addElement(method);
}

List<SNode> abstractMethods = new ArrayList<SNode>();
List<SNode> implementedMethods = new ArrayList<SNode>();
List<SNode> concepts = SConceptOperations.getAllSuperConcepts(thisNode, false);
ListSequence.fromList(concepts).addElement(thisNode);
for (SNode concept : concepts) {
SNode behavior = AbstractConceptDeclaration_Behavior.call_findBehavior_1213877394029(concept, scope);
for (SNode method : SLinkOperations.getTargets(behavior, "method", true)) {
if (SPropertyOperations.getBoolean(method, "isAbstract")) {
ListSequence.fromList(abstractMethods).addElement(method);
}
