Should decide if given argument is skeptical inferred in semi-stable extension

[mszczot]

Given the argumentation framework and specific argument, it should be able to compute whether the argument is skeptically accepted in semi-stable extension