[eclipse-clp-users] simple eplex question

By reading the Constraint Library manual  section 9.2.2, I 
believe that the following
code should work

:- lib(eplex).

tst :-
eplex_solver_setup(min(P)),
A = []([](1,2,3), [](4,5,6)),
B = []([](6,7,8), [](9,10,11)),
P :: 0.0..1000.0,
%P $>= [1,2]*[3,4],           % works
P $>= A[1..2,3]*B[1..2,3], % produces run-time error
eplex_solve(_),
eplex_get(typed_solution,Val),
write("P = "), writeln(Val)
.

but it doesn't.  I don't understand why.

                             Kostas