check for ~A and add to claus