in the process of extracting state conditions from expressions