We should check for these cases and make sure to report a proper error: 1. `@Unroll` without default param value causes crash 2. `@Unroll` on both abstract method and implementation method causes misbehavior 3. Multiple `@Unroll`s or `@Unroll`s in non-first parameter lists