Import flex check from rasqal