Separate pfactor() and OM_tree(), permit working past irreducibility, handle other segments of polygons with an infinite slope segment, bug fixes