Confirm that the expression is traversable

Signed-off-by: Marc Delisle <marc@infomarc.info>