patched defense code for Synthesizable
Trying to include semantics-syn image