fix #86: added a check in the annotate helper to detect if  is a property of the function's prototype