Adding an ID to Effect Variables to be used in modified constraint generation next.
Also using newly added ID in effect constraint generation
Making simple-effect-inference and parametric-effect-inference variants of the default annotation schemes