Allow non terminals to use haxby