Hi Nicolas,
please try the argument names without the prefix, e.g.
The interpretation of spl:Arguments in SWP (and SPIN) is that only the local name part of the predicate will be used. So for ex:predicate you would use the parameter predicate without the ex:
HTH--
You received this message because you are subscribed to the Google Groups "TopBraid Suite Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email to topbraid-user...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/8ed2df51-2b1c-4a1e-b4ee-019be28002f9n%40googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/topbraid-users/1e5d129f-d732-4825-8928-29afdafb5a78n%40googlegroups.com.