is not clear what a "_trace_" is for Alloy