Wigner functions versus WKB‐methods in multivalued geometrical optics