all ASTs walkthrough checked