Abduction for Generating Synthetic Traces