The Toggle Find/Avoid options in the Ghidra context menu, with two instructions
in the background marked for Manticore to Find/Avoid