Function verify 

pub fn verify(document: &EmittedDocument) -> Result<Repl, EmissionFault>

Reparse document.source in a fresh context and compare every declaration with what it must be. Returns the checked context.