Cleanup of constraint files.
Added README file.
Changed counter to behavioral logic and removed unnecessary blocks.