How to align loose nodes beside the main graph?

Add some invisible edges, like so:

digraph config
{
 Init [style=filled,fillcolor="#80bfff"]
foo [shape=box, label="Line1_TextTextText\lLine2_TextTextText\lLine3_TextTextText\lLine4_TextTextText\l"]
bar [shape=box, label="Line1_TextTextText\llLine2_TextTextText\lLine3_TextTextText\lLine4_TextTextText\l"]
bar2 [shape=box, label="Line1_TextTextText\llLine2_TextTextText\lLine3_TextTextText\lLine4_TextTextText\l"]

Init -> 1

1 -> 2[label=<
	<I>Block 1  </I><BR/>
		<FONT COLOR="gray"> T2 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> T3 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A2 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A3 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A4 </FONT><BR ALIGN="LEFT"/>
>]
2 -> 3[label=<
	<I>Block 3  </I><BR/>

		<FONT COLOR="gray"> T2 </FONT><FONT COLOR="#ff4d4d">Else</FONT><BR ALIGN="LEFT"/>
>]
2 -> 3[label=<
	<I>Block 2  </I><BR/>
		<FONT COLOR="gray"> A2 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A3 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A4 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A5 </FONT><BR ALIGN="LEFT"/>
>]

3 -> 4[label=<
	<I>Block 4  </I><BR/>
		<FONT COLOR="gray"> A2 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A3 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A4 </FONT><BR ALIGN="LEFT"/>
		<FONT COLOR="gray"> A5 </FONT><BR ALIGN="LEFT"/>
>]

4 -> 1
edge[ style=invis]
foo -> bar -> bar2
}

Giving: