base/src/main/java/org/arend/core/pattern/BindingPattern.java [120:132]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public ExpressionPattern subst(ExprSubstitution exprSubst, LevelSubstitution levelSubst, Map<DependentLink, ExpressionPattern> patternSubst) {
    if (patternSubst == null) {
      return this;
    }
    ExpressionPattern result = patternSubst.get(myBinding);
    assert result != null;
    return result;
  }

  @Override
  public Pattern removeExpressions() {
    return this;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



base/src/main/java/org/arend/core/pattern/EmptyPattern.java [104:116]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public ExpressionPattern subst(ExprSubstitution exprSubst, LevelSubstitution levelSubst, Map<DependentLink, ExpressionPattern> patternSubst) {
    if (patternSubst == null) {
      return this;
    }
    ExpressionPattern result = patternSubst.get(myBinding);
    assert result != null;
    return result;
  }

  @Override
  public Pattern removeExpressions() {
    return this;
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -