Fold (trunc (srl x, c)) -> (srl (trunc x), c)