macro visualizer
	 sh ./src/SVA/SOLVisualizer/SOLVisualizer &
 return