Fixed an issue with activation statements that could lead to false positives: Abstractions may not be activated on calls, only on call-to-returns