added the ability to generate VCs for recursive procedures in the procedure declaration rule