fix modifies and uses bugs && comment out the ast main