check-sr-results: factorize property overlay

This is to prepare for deleting properties with overlays.
No functional change.

Signed-off-by: Vincent Stehlé <vincent.stehle@arm.com>