Multi-Search in Peers-mcd.d -- Lotrec: The Generic Tableau Prover for Modal and