DEFAULT_INFERENCE_LIMIT: 50

The default limit of inferred constraints in AbstractDomains.