Added InvertibleMatrix predicate