I am not entirely sure what the intent was for that keyword, but nothing really matched between the parser, the formatter and the uplc code gen. I don't think there's any need for a keyword here, trace is already readily available from the builtins.