Made explicit which members of the System.Random.MWC module I'm actually using in generate_testcase.
Removed useless import in Context.