Move variants to correct position (alphabetically) in schema
Move variants to correct position (alphabetically) in schema

delcypher/svcomp-build-mockup,delcypher/fp-bench,delcypher/fp-bench,delcypher/svcomp-build-mockup,delcypher/svcomp-build-mockup,delcypher/svcomp-build-mockup,delcypher/fp-bench