pub fn read_human_rule_trace( path: &str, test_name: &str, prefix: &str, accept: bool, ) -> Result<Vec<String>, Error>