* Update PRISM generator with new API