now sefi eliminates duplicate gadgets

any gadget which is a prefix of another gadget is considered
a duplicate because the user has the option of using the gadget
starting at any instruction within it. thus we simply provide the
maximal sequence for any gadget.