Function is_credulously_accepted_at 

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

β-credulous acceptance: target appears in some preferred extension of some β-inconsistent residual.