You can customize most any aspect of Symex to tailor it to your preferences and to operate harmoniously with other packages that you might be using.
Most of the customizations below go in the :custom section of your use-package declaration, unless otherwise specified.