Adding tests for SafeBy annotation cases.