first non trivial implementation of DB2/3 verification, does not check parents #958