Properties of Separation Procedures in the Models of Bayesian Networks