add parentheses to support E's more strict parser #191

Job	Run time
call-sumo-check-workflow / derive_docker	1s
call-sumo-check-workflow / build_sumo_tptp	5m 17s
call-sumo-check-workflow / run_vampire	14s
	5m 32s

Provide feedback