add verbose to datalog