Function hoas_lpa 

pub fn hoas_lpa<Split: SplitStrategy>(
    params: &[Term],
    rules: &mut RuleSet<Split>,
)