Fixes KT-41903.
- Visit '}' instead of 'for' keyword on post-condition - Visit 'for' keyword on pre-condition