write_btor: Include $assert
and $assume
cells in -ywmap output
#138
extra-builds.yml
on: pull_request
$assert
and $assume
cells in -ywmap output
#138