question: public RE extractRE ( ) throws InterruptedException { arden ( ) ; if ( ! coeffs . isEmpty ( ) ) { throw new RuntimeException ( "production still has free variables" ) ; } return unionREs ( terms ) ; }
target:  Extract the regular expression associated with this recursive production. Fails if there are references to other productions in coeffs.