clear call stack in verifier