analyzer: removed fix-context in favour of more flexible or-eval
analyzer: implemented parsing for do forms