save EventBModels to .eventb files
add todos