model checking atoms