basic (bruteforce looping) inducing set optimization