removing SfLib dep
removing LambdaSCC.v
rename AAM.v -> AbstractMachines.v