method private _set_constr_model = fun store ->
    constr_view.sv_view#set_model (Some store#coerce);
    current_constr_store <- store;
    (* FIXME: Check for a real signal *)
    self#_cb__constr_view_selection_changed ()