GitHub repository: miguel-nascimento/Kind2
Description: Kind refactor based on HVM