Re-enable support for generic theories.