\brief Rewrite a double precision binary operation by replacing the pieces with unified Varnodes This assumes that we have checked that the transformation is possible via the various verify and prepare methods. After this method is called, the logical inputs and output of the calculation will exist as real Varnodes. \param data is the function owning the operation \param out is the output of the
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected