Added Invariants to files