../../Task/Power-set/Rascal