commit :
- Alf translation checking
- Guard and Effect transition check on processing to not export it as "processing".