method
lookup_or_fail x = (
Hashtbl
.find_all current x)