Add an AlignmentFromAssumptions Pass