Text this: Automatic proof-search heuristics in the Maude invariant analyzer tool