simplified some cases such that it spits out fewer tops and atom equalities