[Green] Added tests for other constructs

  WithProb
  Try