* expression, such as "#pred NotA !A" or "#pred NotXY ! (X && Y) or\r
* "#pred XbarY !(X && Y)". In particular, it cannot be set by any\r
* predicate expression occurring under any other circumstances.\r
- * The #pred predicate expresssions are stored with in predEntry->pred\r
+ * The #pred predicate expressions are stored with in predEntry->pred\r
* and do not normally appear anywhere else until the predicates are\r
* "unfolded" in order to recognize redundancies, conflicts, and\r
* tautologies.\r