Single Cube Extraction tool and Function Similarity evaluation with unate recursive paradigm.