protected function readAssertion(Assertion $assert)
{
if ($assert->value instanceof Operand) {
return new $assert($this->readVariable($assert->value));
}
$vars = [];
foreach ($assert->value as $child) {
$vars[] = $this->readAssertion($child);
}
return new $assert($vars, $assert->mode);
}