public static bool checkContainment(SymbolicString s, ArithmeticLanguage l, BooleanExpression additionalConstraints)
{
var condition = containmentCondition(s, l, additionalConstraints);
// Check if the containment condition is valid
return(!LogicalExpression.Not(condition).isSatisfiable());
}
public static BooleanExpression Implies(BooleanExpression op1, BooleanExpression op2)
{
return(LogicalExpression.Or(LogicalExpression.Not(op1), op2));
}