How to make a blockster jump in blocksworld