make resolver accessible
implement specs for run_on_modifications