Function and_inside_eventually 

fn and_inside_eventually(l: ErrorTarget, r: ErrorTarget) -> ErrorTarget

Helper function to and constraints inside an eventually specification

Note that this function does only compute correct results if no nested <> appeared while parsing the inner constraints. This is necessary, because otherwise would need distributivity, which does not hold in the and case for <>