Currently, we do not generate any Sid entries and, in the case of guess (#22), throw them away.
We shouldn't throw them away and could probably use them to clarify the generated statements (e.g. to distinguish between generated and not generated ones).
Be careful about uniqueness requirements.
Currently, we do not generate any
Sidentries and, in the case ofguess(#22), throw them away.We shouldn't throw them away and could probably use them to clarify the generated statements (e.g. to distinguish between generated and not generated ones).
Be careful about uniqueness requirements.