[Green] [Fix] Fixed pattern match failure in compileIf

  Added test for For statement
Added strategy file

  Issues:
    * Parser fail on WithProb statements
    * Scoping inside for loops does not work correctly
Bug Fix

  Corrected issue with scope in for loop.
  It should solve any similar issue related to functions.
Merge branch 'dev'