Bugfix in the assumption-needed analyzer
Bugfix in the assumption-needed analyzer

jadecastro/slugs,LTLMoP/slugs,jadecastro/slugs,LTLMoP/slugs,johnyf/slugs,johnyf/slugs,LTLMoP/slugs,johnyf/slugs,LTLMoP/slugs,jadecastro/slugs,LTLMoP/slugs