pascal.ijs: factored out a procedure rule