Principal Rechercher Spring Anal Reasoning