Qualitative Abstracter for Nonpolynomial Hybrid Systems