Renamed invariants to weil_invariants.
remove unnecc. check