Function is_constraint_satisfiable 

pub fn is_constraint_satisfiable(_cstr: &Constraint<ParsingTypes>) -> bool