Updates by EQ-COMP