See https://github.com/makaimann/smt-switch/pull/255 for the discussion.
See #255 for the discussion.