1. A method comprising: generating a sum of product (SOP) representation of a property gate in a netlist, wherein a state of the property gate is monitored when verifying proper function of the netlist, wherein the SOP representation includes a plurality of clauses; evaluating a plurality of literals in at least one of the plurality of clauses to determine whether decomposing the at least one clause would change the plurality of literals from binate inputs to unate inputs; and upon determining the number of binate inputs changed to unate inputs in the at least one clause satisfies a predetermined threshold, decomposing the at least one clause into independent inputs formed using the literals in the at least one clause.