Removed hardcoding of printing in executeProcedure