Bug with message value including random variable other than destination - showed up at site visit

[GoogleCodeExporter]

When running the following program in the PRAiSE demo:

sort People: 10, ann, bob, dave, rodrigo, ciaran;

random friends: People x People -> Boolean;

friends(X,Y) <=> friends(Y,X);
not friends(X,X);

friends(bob, dave) 0.3;

Errors Processing Query
UNEXPECTED_PROCESSING_ERROR: value depends on random variable value other than 
its own destination/origin random variable: if friends(bob, dave) then 0.3 else 
0.7

Original issue reported on code.google.com by [email protected] on 3 Apr 2014 at 7:49