Sets a HolCheck model to be synchronous if the first argument is true, asynchronous otherwise.
DESCRIPTION
ric stands for "relation is conjunctive". This information is used by HolCheck to decide if the transitions of the model occur simultaneously (conjunctive, synchronous) or interleaved (disjunctive, asynchronous).
COMMENTS
This information must be set for a HolCheck model.