Find any matching CPUI_MULTIEQUAL that occurs before \b target that has \b in as an input. Then test to see if the \b target and the recovered op are functionally equivalent. \param bl is the parent block \param target is the given target CPUI_MULTIEQUAL \param in is the specific input Varnode
source not stored for this graph (policy: none)