iterative unit prop (first round only)
added check for timeout = 0
added check for timeout = 0
added check for timeout = 0
somewhat ugly hack to get existentially quantified clauses grounding correctly in the presence of evidence