Create extraneous_alpha.cpp

Given functional dependencies of the type a ® b, check if there is any extraneous attribute in a.