th-context

Test instance context.

Use these functions to decide an a not-quite naive fashion whether an instance already exists that satisfies a given context. This can be used to decide whether an instance needs to be generated, as in th-reify-many. Known limitation: the instances inserted into the InstMap are not fully recognized when computing the context.