pub fn transitive_statement(id_col: impl Fn(&str) -> String) -> Statement
Loads the transitive properties (kept in memory with the planner statistics).