straddling set implementation
separated out parsing code from BP implementations
lots 'o changes towards getting zimmerman's approach working