Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation