soft2expr add an option