I'm wondering if we couldn't "just" retrieve the declarations of both ``s1`` and ``s2`` and then compare the signature? \cc @dragos