Inconsistency with line 1539. Either `if (!op)` or `id (op == null)`. I would vote for the first case.