Rewriting-Based Runtime Verification for Alternation-Free HyperLTL