Added the special atomic constraint "true"