checking for empty world, some patters and pat combinators added