transformation2alloy: better error handling