set the cell U3 to positive_unate within clock_domain clk_240k only,
So that means, cell U3 has nonunateness as its timing sense attribute in the lib.
after set_clock_sense here, a rise of the input to U3 will cause the output of U3(which is Y) to either rise or unchanged.