Revert "DefInjected"

This reverts commit f8637d1bd7f7657071996002386e41c31c17bc15.