[ sharing ] Removing sharing in `etaExpand`
[ sharing ] Removing sharing in `QNamesIn`
[ sharing ] Added issue
[ sharing ] Added instances of `IgnoreSharing`
[ sharing ] Ignoring sharing in `clauseToFormula`
[ sharing ] Ignoring sharing in `ChangeIndex`
[ sharing ] Ignoring sharing in `VarNames`
[ sharing ] Ignoring sharing in `BoundedVars`
[ sharing ] Ignoring sharing in `termToFOLTerm`
[ sharing ] Added issues