Bugfix of BinaryOperator terminator traversal.