Projection over atoms which are not in the preferences used in optimize statement

[seem-ish]

In this program, when I use the project option, even though b is used in a preference that is not in optimize statement, I get projection over both a and b .

dom(1..3).
1 { a(X) : dom(X) } 2.
1 { b(X) : dom(X) } 2.
#show a/1.
#show b/1.

%
% basic preference statements
%

#preference(p(1),subset){
  a(X)
}.

#preference(p(2),less(weight)){
  X :: b(X)
}.
#optimize(p(1)).

It would be nice to get the projection just over a .

[javier-romero]

Yes, I agree, thanks.
I mark is an an enhancement for the next version.