Added codegeneratoraux and updated checker
Checker updated