Implementing method call checks. Relates to #72.