Added agda2atp_changed rule