Added picture with rules for guarded recursion with singleton clock.