test-suite/output/Notations : evar number change