last() takes an arbitrary number of parameters and returns the last parameter (according to the sequence they are listed) which is not null. 

last(T11;T12;T0) - will return T0 even if T11 and T12 are not null.