updated call of the TLA to B translator