SI-5744: evidence param marked as SYNTHETIC in order to macro def <-> macro impl correspondence checker to ignore the names