improving code quality of OpenMath post-processor