All calls to this contract result in false positives, due to an issue similar to manual locking. Examplatory analysis of the issue can be found for the transfer function here.