Added incremental computation of covers and characterizing sets, renamed package in test