Add distinguishing advantage terms to assumptions and accumulate them in the engine to produce in output.

• Advantage term for computational assumptions
• Statistical terms for statistical hops (e.g., birthday bound, unique sampling) - incorporating number of queries and size of sets
• 0 for mathematically equivalent hops