higher bound for the

function in lining code base

by test code path width✕