question: private boolean fitsAsSingleLine ( int col ) { return ( col + singleLineWidth ( ) <= PcalTLAGen . wrapColumn ) || ( bodyFormulas . sf == null && ( prcdFormulas == null || prcdFormulas . size ( ) == 0 ) ) ; }
target:  Returns true iff format(col) should return a single-line version of the formula.