The body of an equation doesn’t necessarily have to be a sequence, so you should first check that before accessing the children field, as it may not exist.
The body of an equation doesn’t necessarily have to be a sequence, so you should first check that before accessing the children field, as it may not exist.