storm.py: use prettybt by default
pass expression to for-loop