Antitraces and prefix closure