private boolean hasStrongerMode(Literal literal, Literal conflictLiteral) {
		Mode m1 = literal.getMode();
		Mode m2 = conflictLiteral.getMode();
		if (m1.equals(m2)) return false;
		if (m1.getName().equals(m2.getName()) && m1.isNegation() != m2.isNegation()) return false;
		if (!strongerModeSet.containsKey(m1.getName())) return false;
		Set<String> modeList = strongerModeSet.get(m1.getName());
		String m2ModeName = m2.getName();
		for (String s : modeList) {
			if (s.equals(m2ModeName)) { return true; }
		}
		return false;
	}