Simplify litmus/top.ml a bit
Correct faulty C ouput for options -ascall true -mem indirect