Ts2eb refactor

Refactor the TET for the latest jTET. I renamed the @EventBGenerator to @EventB_generator so that the name is in accordance with CVC3. And I find this made the changes obscure. So I tried to insert a renaming commit before the real commit. But I ended messing the code up(The main reason is that if you reset the current head the EventB_generator folder is still there, when I try to rename the old one, there is an conflict. I deleted the EventB_generator folder, maybe this made git can not find the code to continue rebase). If you think this renaming commit is necessary. Can you help me to do it?