The `PTS.Transform.transform` function should support transformation of lists of statements, not just terms.