private static String getResetFunction(Gate gate) { String result = null; if (gate.isSequential()) { result = ExpressionUtils.extactResetExpression(gate.function.formula, gate.seq); } return result; }