Silly tree constraint checker