Top-down splitting property for epistemic logic programs