connects(terry, p0, p1) <= [].
connects('''s', p1, p2) <= [].
connects(program, p2, p3) <= [].
connects(halts, p3, p4) <= [].