[Transformers] Next release

Please, use consistent name conventions. For instance I read `c-condition', and then ContractC.sdf, and then, prepost.str etc. I suggest to rename everything as ContractC (contractc) consistently with the paper.