private Environment getGenericDecls(Environment env, Environment mockEnv, LinkedList<Declaration> decls) {
for (Entry<String, TypedAST> elem : args.entrySet()) {
ValDeclaration e = new ValDeclaration(elem.getKey(), elem.getValue(), elem.getValue().getLocation());
e.typecheck(env, Optional.empty());
mockEnv = e.extend(mockEnv, mockEnv);
decls.add(e);
}
return mockEnv;
}