[Truffle] Document and simplify a few cases dealing with visibility in dispath.