Adapted to newest ssvu
Added assertion wrappers