Reversible dynamics with closed time-like curves and freedom of choice (resolving time travel paradox)