Fix swapped condiiton in cstr check.
Fix swapped condiiton in cstr check.

    We had swapped a and b in the test for type constraint satisfaction.

8l/myrddin,oridb/mc,oridb/mc,8l/myrddin,oridb/mc,oridb/mc