Detecting Non-Cyclicity by Abstract Compilation into Boolean Functions