Pair<Literal,Collection<Clause>>
transform(AcceptanceCondition acc)
static <T1, T2> Pair<T1,T2>
of(T1 a, T2 b)