Added verification to function calls.