Dependency.ExceptionVertextype t = {rules : (Catala_utils.Pos.t * Ast.expr option) Shared_ast.RuleName.Map.t;label : Shared_ast.LabelName.t;}rules maps each rule name to its position and, if it has an explicit condition (under condition ...), the condition expression. None means the rule is unconditional.