Performs static analysis on C functions to confirm equivalancy.