private boolean matchInputActions(STS sts1, STS sts2, Map<Action, Action> correspAction) {
		if (sts1.getInputActions().size() != sts2.getInputActions().size()) {
			return false;
		}
		for (Action act1 : sts1.getInputActions()) {
			String actName = act1.getName();
			if (!actName.contains("Xor")) { 
				Action act2 = sts2.getAction(actName);
				if (act2 == null) {
					return false;
				}
				correspAction.put(act1, act2);
			} else {
				boolean foundXor = false;
				for (Action act2 : sts2.getInputActions()) {
					if (act2.getName().contains("Xor")) {
						correspAction.put(act1, act2);
						foundXor = true;
						break;
					}
				}
				if (!foundXor) {
					return false;
				}
			}	
		}
		return true;
	}