Advancing And/Or Abstraction Sampling And And/Or Search-Based Computational Protein Design