A Flexible, (C)LP-Based Approach to the Analysis of Object-Oriented Programs