Probing Secure Composability Without Fresh Randomness: Theory and Application to Ascon