rule cleanup and removed ...s from some of the branching rules (they should be at the end of the <k> cell anyway)
rule cleanup and removed ...s from some of the branching rules (they should be at the
end of the <k> cell anyway)

davidlazar/llvm-semantics,kframework/llvm-semantics-old