Trace Driving Predecessor Logic