static evaluation annotation