Searching in SVIncCompil/Testcases/YosysTests/misc/fmcombine_assert_assume