protected function parseExpr_BooleanNot(Expr\BooleanNot $expr)
{
$cond = $this->readVariable($this->parseExprNode($expr->expr));
$op = new Op\Expr\BooleanNot($cond, $this->mapAttributes($expr));
foreach ($cond->assertions as $assertion) {
$op->result->addAssertion($assertion['var'], new Assertion\NegatedAssertion([$assertion['assertion']]));
}
return $op;
}