Catch a singleton-term bug in AND