A New Method of {MHP} Analysis for Languages with Dynamic Barriers