disable specific unification test that broke with java 7
add asSet method to option