[RFR] Hotfix/remove old annotation

Fixes an issue with phpspec/prophecy 1.2.0 and an old tag "@@TODO".