let instantiate_domain dom =
      match dom with
        LigandBinding _ -> LigandBindingState { libds_bound = false }
      |        StructuralBinding _ -> StructuralBindingState { pubds_bound = false }
      |        Matcher _ -> MatcherState ()
      |        Snippet _ -> SnippetState ()