MU-CSeq 0.3: Sequentialization by Read-Implicit and Coarse-Grained Memory Unwindings