Fixed annotations, check evaluate() result before use