add --allow-trim to synopsys