Added tests for wddx session_encode() and session_decode()