FAILURE\
unwinding assertion loop
VERIFICATION:- FAILED