private static Core initCore() { Core.resetCore(); Core core = Core.getCore(); Symbole symA = new Symbole("A"); Symbole symB = new Symbole("B"); symB.addRelation(new RightNormal(symA)); return(core); }