Wigner Functions versus WKB-Methods