Cached CFGs for ContextSensitiveJimpleRepresentation