casDeclareEquation _ _ =
    error "casDeclareEquation: not implemented for this case"
casDeclareEquation _ _ =
    error "casDeclareEquation: not implemented for this case"
casDeclareEquation _ _ =
    error "casDeclareEquation: not implemented for this case"