Local comparison finished in Typing. Still the error raising and global
comparisons to do