pub fn construct_test_plan(
    compilation_env: &mut CompilationEnv,
    prog: &Program
) -> Option<Vec<ModuleTestPlan>>