Remove incorrect Invariant contract
Merge pull request #1 from HVanGest/hans

Remove incorrect Invariant contract