There was an incoherence between master and naf branch regarding the WF constructors