To run:

```sh
python3 ./codgen.py > tmp.py
python3 tmp.py
```

Output should be:

```
precondition: {}
do: {'name': 'Tomjon'}
is_fine: {}
```