Add arguments to property annotations. More runtime checks