Examples for purely non-reified and reified Situation Calculus