Standard Out:

in clause shapes/io(Matrix,N) :-
    varmat/io(Matrix,MatrixWithVars),
    unif_matrx/i(MatrixWithVars).
  variables have no producer: ["N"]

Standard Err:


real	0m0.280s
user	0m0.200s
sys	0m0.040s