ACSL keywords: is_acsl_keyword