add new PO for report: complete/disjoint behaviors
change behaviors name in __po_hi_time_is_greater for pretty-printing
add other VC types (complete/disjoint behaviors for instance)
formal changes to the LaTeX pretty-printer