GitHub repository: mdheller/Remp
Description: Relational match propagation