implement select-with-alts for TripleGraph, update graph->dot