graph literals as statement sets