Remove invariants related code to pass hello world

Now the hello world can be compiled and run. However, there are even
more invariants in the code to be cleaned.