Embedding constructible sheaves into pushforward constant sheaves along
finite morphisms