Contains all the classes that perform byte-code analysis and transformations related to meta-data merging and constraints.