pub type ValidatedImports = (HashMap<String, Vec<String>>, HashMap<String, Vec<String>>);
Predicate and function names mapped to the source module selected by import validation.