https://5dok.net/document/7q0k743y-program-slicing-rascal-practical-approach-database-reverse-engineering.html