In reply to dave_59:
Hi Dave,
Unfortunately I am still unable to understand , need some more help :
b == get_a() ;
// Is Equivalent to
b == a ;
So shouldn’t b be equal to 5 ? . Since in the output b == 0 , it seems as if the constraint on b gets solved even before a == 5 which is contrary to the statement
" Constraints are solved parallel to each other "
Thanks ,