137138139140141142143144145146147
String nextGoal = body.termName.toString() + "_" + adornment.toString(); if(this.goals.contains(nextGoal) && body.isRecursive()){ // Recursive call -> create magic rule } body.accept(this, adornment.toString()); } return null; }