New atn evaluation (slower but more accurate)