• Question 1: better rule parallelism for generated .v files
• Solutions:
• Discussion about option 1.
• Question 2: Dune inter-scope composition
• Question 3: