read_verilog -sv -dump_ast2 ../top_assert_assume.v