tosem: Store edges from a z3 encoding