for Effects and Freshness Analysis -- A First-Order Policy Language for History-Based