[rules-users] constraints and shadow facts