defined contexts and contextual equivalence for target lang