Fixed a catcall in invariant checking when verifying invariants on BOOLEAN_REF. The solution is to simply reverse the target and arguments so that the results of operations are always of type BOOLEAN.
FreeELKS/trunk/library/kernel/boolean_ref.e