Implemented semantic check Next and Next* #71

both arguments have to be prog_line