QSCheck demo