On use or-bdds logical structure fault by Myland