Added untested data provenance functionality to simulate_implicit