Envelope burning over-luminosity: a challenge to synthetic TP-AGB models