basic crypto protocol simulation taken from alphaprolog
some refactoring which clarifies program... higher-order goals FWT
crypto example