Adding label checker predicates and test cases
sgos