If a multiplication expression consists of more than two factors the parser will segfault during KleeneState evaluation. Attached is a small domain and instance where this happens.
While additions in logical_expressions_includes/evaluate_to_kleene.cc allow more than two summands, the code for multiplication expressions only allows exactly two factors.
I think a quick fix is to use the code of Addition::evaluateToKleene and replace summation with multiplication.
This bug was reported by Patrik Haslum via email.