Function annotate 

pub fn annotate(module: &mut Module, pic: Pic) -> usize

Writes Flags::HANDED onto every check whose bytes are inside an object its callers hand in, and !aligned(a) onto every parameter its callers all hand an aligned address to.

Gives back how many checks were marked, which is what the pipeline reports. The facts are not counted in it, since a fact is not a check and a reader comparing the two numbers would be comparing two different things.