Lines Matching refs:can_assume