Adds comments for why stores x*2
Renames Evidence to edge to make it clear for graph.
Fixes logic error: missed case a+a=3, b+b=5 => a+b