Implemented semantic check Calls and Calls* #71

both arguments have to be procedures