Add pre-conditions and post-conditions to comments