Removed '\n' and add a few APIs in LoopVerifier