Support for JLustre2Kind