Inductive knowledge of important data structures