// Top level supercombinator logic
if (Is_Just.$instance.fUnboxed1S(
letVar_maybeVertex1Num.evaluate($ec),
$ec) &&
Is_Just.$instance.fUnboxed1S(letVar_maybeVertex2Num.evaluate($ec), $ec)) {
RTCons $case2 = ((RTCons)(java.lang.Object)graph.evaluate($ec));
// Cal.Utilities.DirectedGraph.DirectedGraph
// Decompose data type to access members.