a particularly vicious failing test case to minimize - test for shared subtrees in a union
slightly more reasonable test program generation