Added debugging method to count satisfied literals