Fortløpende skolemisering og variabelsplitting