Added concurrency to arguments of command twh-prove-pattern and made arguments pattern/options selects