Tactics like wp_proj should always solve all to_val side-conditions. The
tactic wp_done is used to handle these in a uniform way.