Fix check for constant expressions
Fix-point SSA pruner (TODO: exploit sparsity)