read_verilog -sv countbits.sv hierarchy proc flatten opt -full select -module top sat -verify -seq 1 -tempinduct -prove-asserts -show-all