Exclude Angluin from the User exposed API