Debugging extractTerm and compileExpression for ConvertToBin test