Merge pull request #1723 from JoelYYoung/refactor #673

Job	Run time
docker-x86-image	5m 54s
dispatch (SVF-tools/Software-Security-Analysis)	3s
dispatch (SVF-tools/SVF-example)	3s
dispatch (SVF-tools/Teaching-Software-Analysis)	5s
dispatch (SVF-tools/Teaching-Software-Verification)	5s
	6m 10s

Provide feedback