Towards Correctly Checking for Cycles in Overloaded Definitions