rephraser.py: some changes to help debugging