implemented the "replace by constants" part of the check, sketched the remainder
implemented first part of the iota/collectivity check