Removed unused taint propagation rules
Listings centered