(static reversed- cyclic analysis)