Delete ruleautomaton.cc