Q-Checker Pro-Active Learning