Started the new rule translator for annotation-based checking