FIXED typeof type in Verification