Extended the list of the ignored atomic transformations.

Also, generalized the checking procedure.