added symbolic union enumeration + test