Remove closure marker. Instead added 2 markers on binders, the guard
marker and the depth marker.