Remove unnecessary parameter from ResolvedObsEq