Szerintem a HOL.VAN (angol neve MATCH) függvény jó lehet neked.