A new synonymy problem for E-type theories