This similarity can be computed by comparing the target argument structure with the propagated argument structure.
the type of the start structure can be different than the type of the target structure.