- revert r220
- split FinalWrong into 3 models so that we make
  sure that tools handle all the cases (and don't
  just fail for one of them)
Merge pull request #2 from adrpo/master

split FinalWrong into 3 models instead of 2.