Refraction through a semicircular block (including TIR)