aco: rename aco_lower_bool_phis() -> aco_lower_phis()