Implements greeting test scenario using KIF.