Lines Matching refs:assume
656 function has a return type of \textbf{void}. It cannot cause an error so it is safe to assume the function
