Put forkprove options in select list for argument arguments of command twh-prove