Function preconditions_keyword 

fn preconditions_keyword(keep: bool, param: &str, method_list: bool) -> String

The keyword spelling of a rank-1 precondition decision, for messages: the per-parameter attribute on a function parameter, the method-level list on a method.