pub fn traverse(
  db_state: state.DbState,
  start_id: Int,
  expr: List(query_types.TraversalStep),
  max_depth: Int,
) -> Result(List(fact.Value), String)