update syntax of Egison4