src/main/kotlin/org/arend/intention/AddClarifyingParensIntention.kt [41:48]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun mapArgument(arg: Concrete.Argument,
                             parentBinOp: Concrete.AppExpression,
                             editor: Editor,
                             caretHelper: CaretHelper): String? {
        if (!arg.isExplicit) {
            return implicitArgumentText(arg, editor)
        }
        val expression = arg.expression
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -



src/main/kotlin/org/arend/intention/RemoveClarifyingParensIntention.kt [113:120]:
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
    override fun mapArgument(arg: Concrete.Argument,
                             parentBinOp: Concrete.AppExpression,
                             editor: Editor,
                             caretHelper: CaretHelper): String? {
        if (!arg.isExplicit) {
            return implicitArgumentText(arg, editor)
        }
        val expression = arg.expression
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -