SubExpression pass has a finalized structure we can use. Currently it's not very precise