Scripts: Support for iProver