Changing dynamic CNF loading code to perform loading before propagate() as opposed to when the literal first implied in enqueue().