Verifying Systems with Integer Constraints and Boolean Predicates: A Composite Approach