Detect and save rising internal propositions (prefixed with _) for resynthesis.py