@ hpp/utils.hpp: a bug fixed
@ semAnalyzer: stablized