For the above given transition system draw its tree,check which of the following CTL properties do it satisfy by showing its Tree