Example programs generated by GeneSys and proposal of Introduction rule