updated the has post condition
if there is no contributor false is returned

more expressive internal messages