Add assertions for each location