Don't use parallel strategies for now.
Special case for singleton equivalence classes.
work towards variable generalisation