Temporarily revert ID_sideeffect -> ID_side_effect change to remain compatible with CBMC 4.9