Query-based verification of qualitative trends and oscillations in biochemical systems