Contract analysis scenario two

garinh