Hi Akshay,
Thanks -- v17 addresses both my points. It still builds clean, and the DDLit generates recreates every policy in my corpus when replayed. Nothingfurther from me; this looks ready for a committer.
Regards,Rui