do not allow us to exit on label with no entrance. should increase approximation, but I do not know of a loop yet for which it actually does
do not allow us to exit on label with no entrance. should increase approximation, but I do not know of a loop yet for which it actually does

zkincaid/duet,zkincaid/duet,zkincaid/duet