Updating Crisp Compiler