Function encode_constraint 

pub fn encode_constraint(
    graph: &mut EGraph,
    constraint: &Constraint,
    total: u16,
) -> Id

Encode a layout constraint as an e-graph expression.