Function check 

pub fn check(model: &Model, report: &mut Report)

Check the declared schema and implementation level.