conflict checking works for true and false cases; need to check if works for a forest and not just one tree