Should decide if given argument is credulously inferred in stage extension

[mszczot]

Given the argumentation framework and specific argument, it should be able to compute whether the argument is credulously accepted in stage extension