write_btor: Include $assert
and $assume
cells in -ywmap output
#3236
Loading
$assert
and $assume
cells in -ywmap output
#3236