See https://github.com/FInAT/FInAT/issues/95
See FInAT/FInAT#95