Fixes code comment.
Implements additional functionality in logic command line
program. It can accept an optional second formula.
In which case, the program lists a set of comparison results
between formulas A and B.