[TIDOC-1347] Script to generate Alloy JSCA