narrowing scope of GenerationContext in random theory parm generator