[spec] additions to complex graphs and exp identities