selfUpperBoundInference.out 289 Bytes