Add spec for member property of BSTs
Remove unused import