Added prerequisite constraint
Added prereq constraint generator.