Example
l
whenever there is a falling transition on S1, AC
and IR can never be enabled in the following
cycle
