Static Spec Verification for IzPack Installers