duplicated block id: 1
size: 6 cleaned lines of code
in 2 files:
 - base/src/main/java/org/arend/core/pattern/EmptyPattern.java (105:112)
 - base/src/main/java/org/arend/core/pattern/BindingPattern.java (121:128)