[rules-users] split constraint same as LHS of rule