Display finseqs in a readable way inside the ground evaluator