Added annotations for @NotHardCoded and @MaybHardCoded