D-CON: Deciding All Behavioral Equivalences at Once through Energy Games (Augsburg'25)