Fixed bug on wasp approach for cautious reasoning.