Frontend: load parameters of a procedure