Are all the productions of a KLabel guaranteed to have the same arity? I'm not sure that's necessarily a safe assumption.