Analyze Function Composition for Surjectivity