Return whether the given Alternative is the first (or "simplest") in its Rule structure which has been proven to be productive.
See Implementation
Return whether the given Alternative is the first (or "simplest") in its Rule structure which has been proven to be productive.