Function decreases_when 

pub fn decreases_when(_b: bool)