Function runs 

pub fn runs() -> usize

How many times this thread has run a program for a question about its constraints — a solve, an enclosure, how free its values are — ever. Each run costs what the program’s steps do, so a test can bound the work a question takes by the runs it makes, rather than time it.