Just added coverage for this bit.

The other two statements in this file are in the function `decompile_formula`, which is marked "under construction", and can only be reached from the main code by editing the code to set `blah_formula`.