Visitors for the jcilketon language extension.