Duplicate rule remover

Add a slicer pass that removes duplicate rules. I was encountering many of these rules in case many non-integer instructions occur in the bitcode and especially in combination with the –only-loop-conditions option. I did not check if this infers with any of the complexity related code. However, in general this seems sound to do.