Hierarchical models of high-redshift galaxies with thermally pulsing asymptotic giant branch stars: comparison with observations | Synapse