clarify boundscheck expressions