Added discussion on Synopses in related work