replace the formal with the actual when obtaining the constraint and the initialization clause
progress with the call stmt rule