doc: add SVF optional arguments descriptions