How can Idaithalam handle some complex assertion?