In sat: 'x' in init attr should not override constant