Evolution-aware runtime verification