Aliasing chains cleanups: update langref, add check into verifier