The Proxy Generator has problems for several different reasons: some are limitiations of the Sage++ toolkit on which is is based (version 1.9 at present), some limitations of the generator I have written with the toolkit. The former I have put under parsing problems.
Click here for more information on UCL-CS.