Add the initial draft for inference-using-bounds (#4140)

Add the initial draft for inference-using-bounds (#4140) #1043