static evaluation