crustydb / src / optimizer