lib/katra jison plugin