So, if I understood well...

Eren could have used Ymir's Jaw Titan to destroy Annie's crystal, right? So the Survey Corp could have knew the truth long before seson 4: if Eren ate Annie, he also inherited all of Annie's memories, including the existence of a world out of the walls.