check procedure's return type