-- | Compute a singleton conflict set from a 'Var'
varToConflictSet :: Var qpn -> ConflictSet qpn
varToConflictSet = CS.singleton
varToConflictSet :: Var qpn -> ConflictSet qpn
varToConflictSet = CS.singleton
varToConflictSet = CS.singleton