added test for Widening (now failing with TimeOut)
widening: override Analysis.merge(N,A,A,A) for widening (not doing anything yet)
cleanup: removed unused/unnecessary class TriState
just added comment where widening could be plugged in