Divine what code you meant to write to make your tests pass