We would like to keep the Prosa compilation warnings-free. Complain
when new warnings are introduced.