Modular and Constraint-Based Information Flow Inference for an Object-Oriented Language