vismut_dag: VisMutConstraintDAG = ...