create an end loop condition which tells the sv.bc pseudocode