Standardising formatting of 'if' and 'else' in slv9. Renamed VarStatus to InstanceStatus (so that relation status can also be reported). Added reporting of inactive-in-a-when relations (using the broken-link icon for the moment).
trunk/base/generic/solver/slv9.c