[Preview of] Az elhívások tipizálhatóságának vizsgálata