  A recent example of a non-hyponormal injective composition operator in an
$L^2$-space generating Stieltjes moment sequences, invented by three of the
present authors, was built over a non-locally finite directed tree. The main
goal of this paper is to solve the problem of whether there exists such an
operator over a locally finite directed graph and, in the affirmative case, to
find the simplest possible graph with these properties (simplicity refers to
local valency). The problem is solved affirmatively for the locally finite
directed graph $\mathscr G_{2,0}$, which consists of two branches and one loop.
The only simpler directed graph for which the problem remains unsolved consists
of one branch and one loop. The consistency condition, the only efficient tool
for verifying subnormality of unbounded composition operators, is intensively
studied in the context of $\mathscr G_{2,0}$, which leads to a constructive
method of solving the problem. The method itself is partly based on
transforming the Krein and the Friedrichs measures coming either from shifted
Al-Salam-Carlitz $q$-polynomials or from a quartic birth and death process.
