Revert "Delete DefIinjected"

This reverts commit 1874caa1b94ce0f8244e7313686ebf35796b19df.