initial commit

Pre-CORP and Post-CORP Alloy models