Fixes #3: Added support for verifying 0-n method calls