src/main/kotlin/org/arend/inspection/ArendInspectionConcreteVisitor.kt (4 lines):
	- line 79: // TODO extract the method that visits a single parameter and push parent there.
	- line 153: // TODO extract the method that visits a single clause and push parent there.
	- line 192: // TODO extract the method that visits Concrete.OverriddenField and push parent there.
	- line 212: // TODO extract the method that visits Concrete.LetClause and push parent there.


src/main/kotlin/org/arend/refactoring/move/ArendMoveRefactoringProcessor.kt (2 lines):
	- line 168: HashSet(), HashSet(), ArrayList(), deferredNsCmds) //TODO: properly initialize these parameters
	- line 457: //TODO: What about IPName?


src/main/kotlin/org/arend/typechecking/BinaryFileSaver.kt (2 lines):
	- line 33: // TODO: Replace with AsyncFileListener?
	- line 62: // TODO: Probably a better way is to save files using VFS immediately after typechecking


src/main/kotlin/org/arend/refactoring/move/ArendLongNameCodeFragment.kt (1 line):
	- line 30: override fun getReference(): ArendReference? = null // TODO:


src/main/kotlin/org/arend/scratch/ArendScratchTopPanel.kt (1 line):
	- line 112: // TODO start REPL process when checkbox is selected to speed up execution


src/main/kotlin/org/arend/intention/SplitAtomPatternIntention.kt (1 line):
	- line 126: return null // TODO: Implement some behavior for constructor clauses as well


src/main/kotlin/org/arend/module/UpgradeArendLibrary.kt (1 line):
	- line 92: if (newVersion != null && (version != null && /* TODO: Replace with version == null || */ newVersion > version)) {


src/main/kotlin/org/arend/refactoring/changeSignature/ArendChangeSignatureProcessor.kt (1 line):
	- line 206: CoClauseEntry(callEntry.psi, refactoringContext, descriptor!!).printUsageEntry().text //TODO: Null safety


src/main/kotlin/org/arend/codeInsight/ArendImportOptimizer.kt (1 line):
	- line 123: if (element is ArendNsId) { // TODO: We could reuse existing code for this


src/main/kotlin/org/arend/quickfix/ExpectedConstructorQuickFix.kt (1 line):
	- line 833: is Concrete.ConstructorPattern -> { //TODO: Code too similar to "matchConcreteWithWellTyped". Could we somehow isolate common pieces of code for these functions?


src/main/kotlin/org/arend/refactoring/changeSignature/entries/AbstractExpressionEntry.kt (1 line):
	- line 121: val contextName = getContextName()  //TODO: Fixme; we should take backticks into account


src/main/kotlin/org/arend/refactoring/changeSignature/ArendParameterTableModel.kt (1 line):
	- line 41: if (value == "_" && hasUsages) return //TODO: We may want to additionally prohibit changing name to "_" for those parameters, which have usages inside the definition