Add fullrank predicate to matrix assumptions