Old Event-B XText files removed.
Added new Event-B xtext files