completed virtual binder computation and cycle check