test-models/wf_foreign_conflict/wf_foreign_conflict.dzn:40:1: error: foreign component cannot have the same name as its file: `wf_foreign_conflict'
