Enhance the program semantics.