litmus: More precise computation of observed registers for C.