1. A method for determining implications in a word-level network, comprising: generating a graph data structure representation, comprising one or more nodes, each node having an associated range; identifying a first unjustified Boolean node; limiting a first input range, of a first input to the first unjustified Boolean node, to contain no value of type non-controlling; performing a first implication process, upon the ranges of the graph data structure, using the first input range limitation; limiting a second input range, of a second input to the first unjustified Boolean node, to contain no value of type non-controlling; performing a second implication process, upon the ranges of the graph data structure, using the second input range limitation; accumulating a first result of the first implication process with a second result of the second implication process.