On Computability and Triviality of Well Groups