Completed conversion to and from WKB and EWKB