[move-prover] Refactored options creation for better reuse #250_173#480

satyamacn wants to merge 1 commit intodiem:maindiem/move:mainfrom

satyamacn:move-prover-250satyamacn/move:move-prover-250Copy head branch name to clipboard