pub fn get_terms_add(
    sys_states: Vec<String>,
    eq: Vec<MathExpressionTree>
) -> Vec<PnTerm>