The symbol Involutive is allowed as value for the optional argument Strategy for resolution. If provided, the resolution is constructed using janetResolution.
The object Involutive is a symbol.