Sets a flag telling HolCheck whether to attempt abstraction.
DESCRIPTION
HolCheck uses a simple heuristic analysis of the model to determine whether it would be worthwhile to do abstraction. This flag can be used to override the default.
COMMENTS
This information is optional when constructing HolCheck models. The default is true.