<> <> TRUE ClockGen FALSE RoseClocks "[PhaseA>BOOL, PhaseB>BOOL]"