fix reif builder

avoid duplicata
enable to set the reification BoolVar
remove comment
Merge branch 'feature-fixBuil' into develop