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