SI-4827 Evidence parameter should never have an opaque position

The synthetic evidence parameter created for context bounds should never have
an opaque position. The call to `tpt.duplicate` ensures this requirement is
satisfied because opaque positions are turned into offset positions.