added constraints for coverage3