def has(modelset, g, a): postgraph = new_graph('postgraph') return z3.Exists([postgraph], modelset(Model.model(g, a, postgraph)))
def model_from(g, a): return Model.model(g, a, new_graph('postgraph'))