call to original function will consider static calls
invariant checking will be denied for static methods