A simplified meta-model for the C Language in Alloy