Add post increment function
Link to Clang CRV front-end