Completed test generation for forAtLeast.
Completed test generation for forAtMost, and make forAtMost to provide correct error message when used with Java Map.