Searching in src/Testcases/YosysTests/misc/fmcombine_assert_assume