let accept_base_in_lmap = Db.accept_base ~with_formals:false