Refactored null formals case