avoiding overlapping of Let-Parzeta and Let-zeta rules