support for explicitly recursive Rule