Function equivalent 

pub fn equivalent(first: &Program, second: &Program) -> bool

Whether two programs are behaviorally equivalent under this module’s comparison contract.