Function is_credulously_accepted_at 

pub fn is_credulously_accepted_at<A>(
    framework: &WeightedBipolarFramework<A>,
    target: &A,
    budget: Budget,
) -> Result<bool, Error>
where
    A: Clone + Eq + Hash + Debug + Ord,

target is β-credulously accepted iff it belongs to some bipolar-preferred extension of some β-inconsistent residual.