In this paper, we extend the result to bounded quantification combined with if-expression.doi:10.21655/ijsi.1673-7288.00236Gang ChenInt. J. Softw. Informatics