formal proof rename on XER flags