Function Auxiliary - Alloy [Revisited]

Function Auxiliary