Implement ProhibitManyArgs
Implement RequireFinalReturn
Implement RequireArgUnpacking
Oops, i forgot to support constant-loop