let help = "Use build-in array theory of alt-ergo."