as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.expand_expression
- as2fm.jani_generator.jani_entries.jani_convince_expression_expansion.expand_expression(expression: JaniExpression | JaniValue, jani_constants: Dict[str, JaniConstant]) JaniExpression