S2=mu x. ( x | nu y. (b & b &  y))
Over here can we stop the calculation on the second round for the inner brackets since we can notice that it is not dependent on x and directly continue with the previous fixed point result?
Will the answer be considered in the exam?