Comment (by Roland Haas):

This ticket seems to have gone off topic. The original issue, namely (re-)activating checks and use of atribute(pure) in Cactus would still seem worthwhile.

--
Ticket URL: https://bitbucket.org/einsteintoolkit/tickets/issues/2512/enable-detection-of-attribute-pure