Fixed processing of Unicode forall.
Merge pull request #59 from asr/master

Fixed processing of Unicode forall.