Python term rewriting