Semantic check of procedure call statement fixed