Implemented actual callee check (based on an explanation from Kim).