protected function parseExpr_Instanceof(Expr\InstanceOf_ $expr)
{
$var = $this->readVariable($this->parseExprNode($expr->expr));
$class = $this->readVariable($this->parseExprNode($expr->class));
$op = new Op\Expr\InstanceOf_($var, $class, $this->mapAttributes($expr));
$op->result->addAssertion($var, new Assertion\TypeAssertion($class));
return $op;
}