add numbering for handling statements, but not consider method calls yet. still need to test the correctness