Those are not at all the questions asked. They don't ask you to prove A*, they ask you to filter a binary tree based on some predicate. It's much closer to real life than people on HN like to admit -- your coworker wrote some code using some datastructure and you have to figure it out and modify it.