Initial implementation of method call validation.

Signed-off-by: Yorick Peterse <yorickpeterse@gmail.com>