Execution graph builder.