Limited Reasoner for the Epistemic Situation Calculus