Remove useless debug messages.

Change-Id: I4612752d759c6bf2dd3e1d3749b1c40b67e20d12
Fix a small bug in the semantic alignment.

Change-Id: I378b08913ffe68d065668bbf319f5cbf018a914a