extended productions for inner functions