Stack effect inference
