td3: side: cycles: do not use infl but check for destabilzed called vars
td3: side: cycles: do not use infl but check for destabilzed called vars

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer