Top-level invokes the verifier (type checker)