Implementation of static preprocessing.