cofactions: added methods size() and empty()