let accept_base_in_lmap =
    Db.accept_base ~with_formals:false ~with_locals:false