modified tracegen