Merge branch 'random_symbol' into 'master'

Actually increment counter inside random_symbol

See merge request pycodegen/pystencils!49
6 jobs for master in 2 minutes and 57 seconds (queued for 2 seconds)