Before revision:  We also present a prototype implementation that can automatically infer these bounds .
After revision:  We also present a prototype implementation that can automatically infer these bounds