pub fn predicate_root(command: Command) -> Result<()>