Expand documentation of ws_argument
Expand documentation of ws_statement