Rename Trace#public to Trace#visible_to_all