Generation of PCFG with sync method call edge is not considering the signature of the method, only its name

When we have to insert a sync edge between two method call on a sync method, we just check that the two methods share the same object type and the method has the same name. We do not consider the signature that is really important since there is the possibility of Overloading of methods.