Add license file
Annotate some non-null arguments