add some dbg info, and also add an interface for soundly instantiating the smashed access paths