add NondecreasingIndentation extension