Added the -b/--bool option to prevent the compression of boolean atomic formulas c=true and c=false to c and -c.