Analyzing procedures

Before a procedure is executed, SDF-P first transfers it to the SDF-P procedure interpreter. The procedure head is executed. The procedure body is preanalyzed and then executed as well.