First checking for rewriting the serialization (CTL-4)