base/src/main/java/org/arend/repl/action/PrintCommand.java [23:30]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public void invoke(@NotNull String line, @NotNull Repl api, @NotNull Supplier<@NotNull String> scanner) throws QuitReplException {
    Concrete.Expression expr = api.preprocessExpr(line);
    if (api.checkErrors() || expr == null) return;
    if (expr instanceof Concrete.ReferenceExpression && ((Concrete.ReferenceExpression) expr).getReferent() instanceof TCDefReferable) {
      Definition def = ((TCDefReferable) ((Concrete.ReferenceExpression) expr).getReferent()).getTypechecked();
      if (def == null) {
        api.eprintln("[ERROR] Definition was not typechecked yet");
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



base/src/main/java/org/arend/repl/action/SizeCommand.java [23:30]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
  @Override
  public void invoke(@NotNull String line, @NotNull Repl api, @NotNull Supplier<@NotNull String> scanner) throws QuitReplException {
    Concrete.Expression expr = api.preprocessExpr(line);
    if (api.checkErrors() || expr == null) return;
    if (expr instanceof Concrete.ReferenceExpression && ((Concrete.ReferenceExpression) expr).getReferent() instanceof TCDefReferable) {
      Definition def = ((TCDefReferable) ((Concrete.ReferenceExpression) expr).getReferent()).getTypechecked();
      if (def == null) {
        api.eprintln("[ERROR] Definition was not typechecked yet");
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -