Restricted generation of partition INVARIANTS to Variables translation only