Catch more cases of SVA #309

Job	Run time
define-matrix	3s
build (yosys-0.44)	2m 15s
build (0.45)	2m 11s
build (0.46)	4m 13s
build (0.47)	3m 42s
build (v0.48)	2m 19s
build (v0.49)	2m 13s
build (v0.50)	3m 4s
test-croc-boot (yosys-0.44)	3m 34s
test-compat (yosys-0.44, black-parrot)	1m 6s
test (yosys-0.44)	51s
test-croc-boot (v0.50)	3m 7s
test-compat (yosys-0.44, bsc-core_tile)	1m 32s
test (0.45)	51s
test-compat (yosys-0.44, cv32e40p)	51s
test (0.46)	1m 25s
test (0.47)	52s
test-compat (yosys-0.44, ibex)	53s
test (v0.48)	1m 4s
test-compat (yosys-0.44, opentitan)	2m 29s
test (v0.49)	1m 12s
test-compat (yosys-0.44, rsd)	51s
test (v0.50)	1m 10s
test-compat (v0.50, black-parrot)	1m 18s
test-compat (v0.50, bsc-core_tile)	1m 13s
test-compat (v0.50, cv32e40p)	1m 17s
test-compat (v0.50, ibex)	55s
test-compat (v0.50, opentitan)	3m 4s
test-compat (v0.50, rsd)	2m 5s
	51m 40s

Provide feedback