Cycle-Based Singleton Local Consistencies (AAAI17)