I wonder if there's a way to customize indentation in slimv. First of all, it doesn't handle DO properly (the second pair of parentheses must be indented as the first one). Another issue: although I can do
and thus properly indent IF, I don't know how to obtain the same effect with e. g. anaphoric AIF.