com.twitter.summingbird.graph
This evaluates a literal formula back to what it represents being careful to handle diamonds by creating referentially equivalent structures (not just structurally equivalent)