New formula for KWStyle, a style checker for c/c++