Function diff 

pub fn diff(prog: &Program) -> Diff

Run prog through both engines (sharing one BuiltCaps) and compare.