nyaya: binary decision tree exercise validation