An error occurred while fetching the health status.
Rule `E-SYN` missing
In the extended version of paper, before adding the PATSYN typing rule, A simple SYN rule is added to the expression typing judgement. The rule is missing in the document.