Hoare Allison: Add non trivial language