[firedrake] Difference between u.split() and split(u)