annotate: Start check for default arguments WIP