squashme
variables are tuples
computation.edges is unique
dot only produces interesting vars