How to get rid of blocksworld