Function terms_respect_limits 

pub fn terms_respect_limits(
    obligated_actions: &[u64],
    forbidden: &[u64],
) -> bool

A contract term that obligates a FORBIDDEN action (a deontic / human-rights limit — e.g. an agreement to waive a non-derogable right) is VOID. The terms respect the limits iff none of obligated_actions is in forbidden. (Private ordering cannot contract out of the baselines.)