For review: Add printing of usr-defined pragmas in clast_for